Génération automatique de partie(s) contrôle(s) de microprocesseurs sous forme de PLA spécialisés
نویسنده
چکیده
منابع مشابه
Utilisation des contraintes pour la génération automatique de cas de test structurels
RÉSUMÉ. Une des difficultés majeures pour l’automatisation du processus de test structurel réside dans la production automatique des cas de test, c’est-à-dire la détermination d’un ensemble de valeurs d’entrée pour lesquelles un point choisi du programme sera exécuté. Nous présentons ici une nouvelle méthode où ce problème est transformé en un problème de résolution de contraintes. La traductio...
متن کاملViolence du langage dans l’œuvre dramatique de Samuel Beckett : la quête du néant
L’homme beckettien représente grosso modo sur la scène de théâtre des années cinquante le spectacle de souffrance physique et de désintégration totale du sujet qui est le fait d’un trauma et d’un complexe plus profonds, celui du vide de matières scéniques et du mal fondamental qu’on traiterait d’existentiel. En d’autres termes, le mal est dans ce monde quelque chose d’inné chez l’être humain. C...
متن کاملVers la génération de modèles de sûreté de fonctionnement
Résumé. La conception et le développement de systèmes embarqués critiques sont assujettis à la fois à des objectifs économiques mais également au respect des normes de sécurité. Dès lors, la qualité des analyses de sûreté de fonctionnement et des interactions entre les experts de sûreté de fonctionnement et les équipes de développement est primordiale. Partant du constat que les échanges entre ...
متن کاملDescription lexicale des signes
RÉSUMÉ. Cet article a pour objet la représentation formelle des lexiques des langues des signes. Les représentations existantes, basées sur la description systématique de paramètres, nous semblent trop rigides. Nous proposons un modèle flexible basé sur une approche géométrique et séquentielle. Nous discutons ensuite de sa représentation sous forme de graphes, permettant une mise en évidence cl...
متن کاملExploitation de l'asymétrie entre termes pour l'extraction automatique de taxonomies à partir de textes
Résumé. Nous présentons dans cet article une nouvelle approche pour la génération automatique de structures lexicales (ou taxonomies) à partir de textes. Cette tâche est fondée sur l’hypothèse forte selon laquelle l’accumulation de faits statistiques simples sur les usages en corpus permet d’approximer des informations de niveau sémantique sur le lexique. Nous utilisons la prétopologie comme ca...
متن کامل